The Truth Degree Reduction Theory of n-valued Lukasiewicz Logic System
نویسندگان
چکیده
منابع مشابه
On the infinite-valued Lukasiewicz logic that preserves degrees of truth
Lukasiewicz’s infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Lukasiewicz algebra on the unit real interval. In the literature a deductive system axiomatized in a Hilbert style was associated to it, and was later shown to be semantically defined from Lukasiewicz algebra by using a “truthpreserving” scheme. This deductive system...
متن کاملOn Lukasiewicz Logic with Truth Constants
Canonical completeness results for Ł(C), the expansion of Łukasiewicz logic Ł with a countable set of truth-constants C, have been recently proved in [5] for the case when the algebra of truth constants C is a subalgebra of the rational interval [0, 1] ∩ Q. The case when C 6⊆ [0, 1] ∩ Q was left as an open problem. In this paper we solve positively this open problem by showing that Ł(C) is stro...
متن کاملFinite Satisfiability in Infinite-Valued Lukasiewicz Logic
Although it is well-known that every satisfiable formula in Lukasiewicz’ infinite-valued logic L∞ can be satisfied in some finitevalued logic, practical methods for finding an appropriate number of truth degrees do currently not exist. As a first step towards efficient reasoning in L∞, we propose a method to find a tight upper bound on this number which, in practice, often significantly improve...
متن کاملLogic Programs under Three-Valued Lukasiewicz Semantics
If logic programs are interpreted over a three-valued logic, then often Kleene’s strong three-valued logic with complete equivalence and Fitting’s associated immediate consequence operator is used. However, in such a logic the least fixed point of the Fitting operator is not necessarily a model for the program under consideration. Moreover, the model intersection property does not hold. In this...
متن کاملExtensions of the ℵ0-Valued Lukasiewicz Propositional Logic
MV-algebras were introduced by Chang in 1958 preliminary to his providing an algebraic completeness proof for the K0-vaΓued Lukasiewicz propositional logic, LXo. In this paper a method is given for determining, for an arbitrary normal extension of LKo, an MV-algebra characteristic for the extension. The characteristic algebras are finite direct products of two sets of linearly ordered MV-algebr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Energy Procedia
سال: 2011
ISSN: 1876-6102
DOI: 10.1016/j.egypro.2011.12.734